first-order predicate calculus
un. 一阶谓词演算
[网络] 第一阶述语运算
热门查询
- misjudgement n. 误断; 冤枉; 判断错误; 判断不公
- retractable adj. 可取消的，可缩回的；伸缩自如的
- Gowrie [人名] 高里; [地名] [美国] 高里
- Hobson 霍布森（姓氏）
- Stockton n. 斯托克顿市（美国加州城市名）
- MKM abbr. 三菱化学记录媒体株式会社（Mitsubishi Kagaku Media）；德国都依斯堡博物馆；保温便当盒
- composer n. 作曲家；作家，著作者；设计者
- gendering n. 性；性别；性交 vt. 生（过去式gendered，过去分词gendered，现在分词gendering，第三人称单数genders，形容词genderless）
- seize vt. 抓住；夺取；理解；逮捕 vi. 抓住；利用；（机器）卡住
- spattering n. [冶] 飞溅；焊溅物
- diagnostically adv. 特征地；诊断上，按照诊断
- iconographic adj. 肖像的；图像材料的；肖像学的；图示法的象征
- rebbe n. 先生, 老师（犹太人的尊称）； （尤指犹太教虔敬派的）拉比
- rutted adj. 有车辙的 v. 形成车辙；挖槽（rut的过去式）
- Leith 利思(姓氏)
- une abbr. 联合国欧洲总部（United Nations European Headquarters）；通用非线性元件（Universal Nonlinear）；西班牙标准（Una Norma Espanola）
- novella n. 中篇小说；短篇故事 n. (Novella)人名；(西)诺韦利亚；(意、俄、法)诺韦拉
- advisable adj. 明智的，可取的，适当的
- workhouse n. （英）济贫院；（美）[法] 教养所；感化院；贫民习艺所
- organ n. [生物] 器官；机构；风琴；管风琴；嗓音 n. (Organ)人名；(英)奥根
